%0 Conference Paper %1 conf/fm/FrantaBB79 %A Franta, William R. %A Boebert, William Earl %A Berg, Helmut K. %B The Use of Formal Specification of Software %D 1979 %E Berg, Helmut K. %E Giloi, Wolfgang K. %I Springer %K dblp %P 197-236 %T An Approach to the Specification of Distributed Software. %U http://dblp.uni-trier.de/db/conf/fm/fm1979.html#FrantaBB79 %V 36 %@ 3-540-10442-9

@inproceedings{conf/fm/FrantaBB79, added-at = {2017-04-28T00:00:00.000+0200}, author = {Franta, William R. and Boebert, William Earl and Berg, Helmut K.}, biburl = {https://www.bibsonomy.org/bibtex/2167d697ab38405c9821deb282d0de13b/dblp}, booktitle = {The Use of Formal Specification of Software}, crossref = {conf/fm/1979}, editor = {Berg, Helmut K. and Giloi, Wolfgang K.}, ee = {http://dx.doi.org/10.1007/978-3-642-67881-3_6}, interhash = {0bd8598a4bde530cde962bf7f3116c1d}, intrahash = {167d697ab38405c9821deb282d0de13b}, isbn = {3-540-10442-9}, keywords = {dblp}, pages = {197-236}, publisher = {Springer}, series = {Informatik-Fachberichte}, timestamp = {2017-04-29T11:37:59.000+0200}, title = {An Approach to the Specification of Distributed Software.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm1979.html#FrantaBB79}, volume = 36, year = 1979 }