%0 Conference Paper %1 conf/ifip/NordstromP83 %A Nordström, Bengt %A Petersson, Kent %B IFIP Congress %D 1983 %E Mason, R. E. A. %I North-Holland/IFIP %K dblp %P 915-920 %T Types and Specifications. %U http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#NordstromP83 %@ 0-444-86729-5

@inproceedings{conf/ifip/NordstromP83, added-at = {2019-07-27T00:00:00.000+0200}, author = {Nordström, Bengt and Petersson, Kent}, biburl = {https://www.bibsonomy.org/bibtex/2c76cfe146b66eeb0d90e34eac3d89b02/dblp}, booktitle = {IFIP Congress}, crossref = {conf/ifip/1983}, editor = {Mason, R. E. A.}, interhash = {8867faa041f62f6db81c844399007d70}, intrahash = {c76cfe146b66eeb0d90e34eac3d89b02}, isbn = {0-444-86729-5}, keywords = {dblp}, pages = {915-920}, publisher = {North-Holland/IFIP}, timestamp = {2019-07-30T11:50:21.000+0200}, title = {Types and Specifications.}, url = {http://dblp.uni-trier.de/db/conf/ifip/ifip83.html#NordstromP83}, year = 1983 }