%0 Conference Paper %1 conf/pstv/BochmannCGJLLMRS82 %A von Bochmann, Gregor %A Cerny, Eduard %A Gagné, Michel %A Jard, Claude %A Léveillé, Alain %A Lacaille, Clement %A Maksud, Michel %A Raghunathan, K. S. %A Sarikaya, Behçet %B PSTV %D 1982 %E Sunshine, Carl A. %I North-Holland %K dblp %P 171-185 %T Some Experience with the Use of Formal Specifications. %U http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#BochmannCGJLLMRS82 %@ 0-444-86481-4

@inproceedings{conf/pstv/BochmannCGJLLMRS82, added-at = {2020-07-30T00:00:00.000+0200}, author = {von Bochmann, Gregor and Cerny, Eduard and Gagné, Michel and Jard, Claude and Léveillé, Alain and Lacaille, Clement and Maksud, Michel and Raghunathan, K. S. and Sarikaya, Behçet}, biburl = {https://www.bibsonomy.org/bibtex/29a879cd25444fc7b5b03f8fecb7ae9c4/dblp}, booktitle = {PSTV}, crossref = {conf/pstv/1982}, editor = {Sunshine, Carl A.}, interhash = {6bd23592bff0cfc354880396c62ecc41}, intrahash = {9a879cd25444fc7b5b03f8fecb7ae9c4}, isbn = {0-444-86481-4}, keywords = {dblp}, pages = {171-185}, publisher = {North-Holland}, timestamp = {2020-07-31T11:52:37.000+0200}, title = {Some Experience with the Use of Formal Specifications.}, url = {http://dblp.uni-trier.de/db/conf/pstv/pstv1982.html#BochmannCGJLLMRS82}, year = 1982 }