%0 Conference Paper %1 conf/amast/GrootR97 %A de Groot, Martin %A Robinson, Ken %B AMAST %D 1997 %E Johnson, Michael %I Springer %K dblp %P 155-169 %T Modular Refinement and Model Building. %U http://dblp.uni-trier.de/db/conf/amast/amast97.html#GrootR97 %V 1349 %@ 3-540-63888-1

@inproceedings{conf/amast/GrootR97, added-at = {2017-05-23T00:00:00.000+0200}, author = {de Groot, Martin and Robinson, Ken}, biburl = {https://www.bibsonomy.org/bibtex/26c659020068531e81354c87e3a90e1c3/dblp}, booktitle = {AMAST}, crossref = {conf/amast/1997}, editor = {Johnson, Michael}, ee = {https://doi.org/10.1007/BFb0000469}, interhash = {16ed18c171d95f9bb43f36dc1cd55241}, intrahash = {6c659020068531e81354c87e3a90e1c3}, isbn = {3-540-63888-1}, keywords = {dblp}, pages = {155-169}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:25:10.000+0200}, title = {Modular Refinement and Model Building.}, url = {http://dblp.uni-trier.de/db/conf/amast/amast97.html#GrootR97}, volume = 1349, year = 1997 }