%0 Conference Paper %1 conf/fm/ZwiersHLRS96 %A Zwiers, Job %A Hannemann, Ulrich %A Lakhnech, Yassine %A de Roever, Willem P. %A Stomp, Frank A. %B FME %D 1996 %E Gaudel, Marie-Claude %E Woodcock, Jim %I Springer %K dblp %P 595-608 %T Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development. %U http://dblp.uni-trier.de/db/conf/fm/fme1996.html#ZwiersHLRS96 %V 1051 %@ 3-540-60973-3

@inproceedings{conf/fm/ZwiersHLRS96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Zwiers, Job and Hannemann, Ulrich and Lakhnech, Yassine and de Roever, Willem P. and Stomp, Frank A.}, biburl = {https://www.bibsonomy.org/bibtex/270f18e2fa631676b50e9473c9210348e/dblp}, booktitle = {FME}, crossref = {conf/fm/1996}, editor = {Gaudel, Marie-Claude and Woodcock, Jim}, ee = {https://doi.org/10.1007/3-540-60973-3_109}, interhash = {c6470ae95e5f9a9f57b980c02a32d897}, intrahash = {70f18e2fa631676b50e9473c9210348e}, isbn = {3-540-60973-3}, keywords = {dblp}, pages = {595-608}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T13:22:23.000+0200}, title = {Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.}, url = {http://dblp.uni-trier.de/db/conf/fm/fme1996.html#ZwiersHLRS96}, volume = 1051, year = 1996 }