{"_id":"bKGgayt52rmr4a32T","bibbaseid":"krmer-margaria-ahindsightonformalmethodsandprospectsofsemanticcomputinginsoftwareengineering-2009","downloads":0,"creationDate":"2015-12-04T23:16:19.115Z","title":"A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering","author_short":["Krämer, B. J.","Margaria, T."],"year":2009,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/ijsc/KramerM09","bibdata":{"title":"A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering","author":["Bernd J. Krämer","Tiziana Margaria"],"author_short":["Krämer, B. J.","Margaria, T."],"bibtype":"article","type":"article","year":"2009","key":"dblp3115899","id":"dblp3115899","biburl":"http://www.dblp.org/rec/bibtex/journals/ijsc/KramerM09","url":"http://dx.doi.org/10.1142/S1793351X09000641","journal":"Int. J. Semantic Computing (IJSC)","pages":"5-30","number":"1","volume":"3","text":"Int. J. Semantic Computing (IJSC) 3(1):5-30 (2009)","bibtex":"@article{ dblp3115899,\n title = {A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering},\n author = {Bernd J. Krämer and Tiziana Margaria},\n author_short = {Krämer, B. J. and Margaria, T.},\n bibtype = {article},\n type = {article},\n year = {2009},\n key = {dblp3115899},\n id = {dblp3115899},\n biburl = {http://www.dblp.org/rec/bibtex/journals/ijsc/KramerM09},\n url = {http://dx.doi.org/10.1142/S1793351X09000641},\n journal = {Int. J. Semantic Computing (IJSC)},\n pages = {5-30},\n number = {1},\n volume = {3},\n text = {Int. J. Semantic Computing (IJSC) 3(1):5-30 (2009)}\n}","bibbaseid":"krmer-margaria-ahindsightonformalmethodsandprospectsofsemanticcomputinginsoftwareengineering-2009","role":"author","urls":{"Paper":"http://dx.doi.org/10.1142/S1793351X09000641"},"downloads":0},"search_terms":["hindsight","formal","methods","prospects","semantic","computing","software","engineering","krämer","margaria"],"keywords":[],"authorIDs":[],"dataSources":["R7GSi8dsuYG3nhJZz"]}