@inproceedings{ maury_using_2002,
  address = {Copenhagen, Danemark},
  title = {Using {TOBIAS} for the automatic generation of {VDM} test cases},
  booktitle = {Third {VDM} {Workshop} (in conjunction with {FME}2002)},
  author = {Maury, Olivier and Ledru, Yves and Bontron, Pierre and du Bousquet, Lydie},
  year = {2002},
  note = {15 pages}
}

{"_id":"4NutivR4fWX7YdN37","authorIDs":[],"author_short":["Maury, O.","Ledru, Y.","Bontron, P.","du<nbsp>Bousquet, L."],"bibbaseid":"maury-ledru-bontron-dunbspbousquet-usingtobiasfortheautomaticgenerationofvdmtestcases-2002","bibdata":{"address":"Copenhagen, Danemark","author":["Maury, Olivier","Ledru, Yves","Bontron, Pierre","du Bousquet, Lydie"],"author_short":["Maury, O.","Ledru, Y.","Bontron, P.","du<nbsp>Bousquet, L."],"bibtex":"@inproceedings{ maury_using_2002,\n address = {Copenhagen, Danemark},\n title = {Using {TOBIAS} for the automatic generation of {VDM} test cases},\n booktitle = {Third {VDM} {Workshop} (in conjunction with {FME}2002)},\n author = {Maury, Olivier and Ledru, Yves and Bontron, Pierre and du Bousquet, Lydie},\n year = {2002},\n note = {15 pages}\n}","bibtype":"inproceedings","booktitle":"Third VDM Workshop (in conjunction with FME2002)","id":"maury_using_2002","key":"maury_using_2002","note":"15 pages","title":"Using TOBIAS for the automatic generation of VDM test cases","type":"inproceedings","year":"2002","bibbaseid":"maury-ledru-bontron-dunbspbousquet-usingtobiasfortheautomaticgenerationofvdmtestcases-2002","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","creationDate":"2015-04-22T00:14:20.706Z","downloads":0,"keywords":[],"search_terms":["using","tobias","automatic","generation","vdm","test","cases","maury","ledru","bontron","du<nbsp>bousquet"],"title":"Using TOBIAS for the automatic generation of VDM test cases","year":2002,"dataSources":["fcy64Zdm28gydMmuE"]}