%0 Conference Paper %1 conf/apsec/GrundyH95 %A Grundy, John C. %A Hosking, John G. %B APSEC %D 1995 %I IEEE Computer Society %K dblp %P 264-273 %T Software Environment Support for Integrated Formal Program Specification and Development. %U http://dblp.uni-trier.de/db/conf/apsec/apsec1995.html#GrundyH95 %@ 0-8186-7171-8

@inproceedings{conf/apsec/GrundyH95, added-at = {2023-03-23T00:00:00.000+0100}, author = {Grundy, John C. and Hosking, John G.}, biburl = {https://www.bibsonomy.org/bibtex/29ee6ae29f3f156764f60b754ffd837e4/dblp}, booktitle = {APSEC}, crossref = {conf/apsec/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.1995.496975}, interhash = {c53b7546b6652be62475604c15f1da48}, intrahash = {9ee6ae29f3f156764f60b754ffd837e4}, isbn = {0-8186-7171-8}, keywords = {dblp}, pages = {264-273}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:15:21.000+0200}, title = {Software Environment Support for Integrated Formal Program Specification and Development.}, url = {http://dblp.uni-trier.de/db/conf/apsec/apsec1995.html#GrundyH95}, year = 1995 }