{"_id":"cNaJdHmaEaRvo4kMe","bibbaseid":"couto-tranjorgensen-lausdahl-principlesforreuseinformallanguagetools-2016","authorIDs":["NtxQ9SSTQrELYyARd"],"author_short":["Couto, L. D.","Tran-J\\orgensen, P. W V","Lausdahl, K."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Principles for Reuse in Formal Language Tools","author":[{"propositions":[],"lastnames":["Couto"],"firstnames":["Luís","Diogo"],"suffixes":[]},{"propositions":[],"lastnames":["Tran-J\\orgensen"],"firstnames":["Peter","W","V"],"suffixes":[]},{"propositions":[],"lastnames":["Lausdahl"],"firstnames":["Kenneth"],"suffixes":[]}],"booktitle":"31st ACM Symposium on Applied Computing","year":"2016","month":"April","bibtex":"@InProceedings{Couto&16a,\n Title = {{Principles for Reuse in Formal Language Tools}},\n Author = {Couto, Lu\\'{\\i}s Diogo and Tran-J{\\o}rgensen, Peter W V and Lausdahl, Kenneth},\n Booktitle = {31st ACM Symposium on Applied Computing},\n Year = {2016},\nmonth = {April},\n}\n\n%G OVERTURE TEMPOPUB VDM\n","author_short":["Couto, L. D.","Tran-J\\orgensen, P. W V","Lausdahl, K."],"key":"Couto&16a","id":"Couto&16a","bibbaseid":"couto-tranjorgensen-lausdahl-principlesforreuseinformallanguagetools-2016","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/"}}},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2020-12-12T15:48:12.237Z","downloads":0,"keywords":[],"search_terms":["principles","reuse","formal","language","tools","couto","tran-j\\orgensen","lausdahl"],"title":"Principles for Reuse in Formal Language Tools","year":2016,"dataSources":["Xcji6y7twnJcmrCLT"]}