{"_id":{"_str":"535fa530bea4535b21000533"},"__v":0,"authorIDs":[],"author_short":["Tremblay, G."],"bibbaseid":"tremblay-anundergraduatecourseinformalmethodsdescriptionisourbusiness-1998","bibdata":{"downloads":0,"keyword":["dblp"],"bibbaseid":"tremblay-anundergraduatecourseinformalmethodsdescriptionisourbusiness-1998","urls":{"Paper":"http://dblp.uni-trier.de/db/conf/sigcse/sigcse1998.html#Tremblay98","Link":"http://doi.acm.org/10.1145/273133.273184"},"role":"author","year":"1998","url":"http://dblp.uni-trier.de/db/conf/sigcse/sigcse1998.html#Tremblay98","type":"inproceedings","title":"An undergraduate course in formal methods: \"description is our business\".","publisher":"ACM","pages":"166-170","keywords":"dblp","key":"conf/sigcse/Tremblay98","isbn":"0-89791-994-7","intrahash":"0aab0659220afd58314e884ec22fdcaf","interhash":"433b229f7be7929c012fa35822e75308","id":"conf/sigcse/Tremblay98","ee":"http://doi.acm.org/10.1145/273133.273184","editor_short":["Lewis, J.","Prey, J.","Joyce, D.","Impagliazzo, J."],"editor":["Lewis, John","Prey, Jane","Joyce, Daniel","Impagliazzo, John"],"description":"dblp","date":"2006-02-15","crossref":"conf/sigcse/1998","booktitle":"SIGCSE","biburl":"http://www.bibsonomy.org/bibtex/20aab0659220afd58314e884ec22fdcaf/dblp","bibtype":"inproceedings","bibtex":"@inproceedings{ conf/sigcse/Tremblay98,\n added-at = {2006-02-15T00:00:00.000+0100},\n author = {Tremblay, Guy},\n biburl = {http://www.bibsonomy.org/bibtex/20aab0659220afd58314e884ec22fdcaf/dblp},\n booktitle = {SIGCSE},\n crossref = {conf/sigcse/1998},\n date = {2006-02-15},\n description = {dblp},\n editor = {Lewis, John and Prey, Jane and Joyce, Daniel and Impagliazzo, John},\n ee = {http://doi.acm.org/10.1145/273133.273184},\n interhash = {433b229f7be7929c012fa35822e75308},\n intrahash = {0aab0659220afd58314e884ec22fdcaf},\n isbn = {0-89791-994-7},\n keywords = {dblp},\n pages = {166-170},\n publisher = {ACM},\n title = {An undergraduate course in formal methods: \"description is our business\".},\n url = {http://dblp.uni-trier.de/db/conf/sigcse/sigcse1998.html#Tremblay98},\n year = {1998}\n}","author_short":["Tremblay, G."],"author":["Tremblay, Guy"],"added-at":"2006-02-15T00:00:00.000+0100"},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/guy tremblay?items=1000","downloads":0,"keywords":["dblp"],"search_terms":["undergraduate","course","formal","methods","description","business","tremblay"],"title":"An undergraduate course in formal methods: \"description is our business\".","year":1998,"dataSources":["GdQLgoLkBnEy5fofR"]}