Ernst-Rüdiger Olderog, editor, Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994. Volume A-56 of IFIP Transactions, North-Holland, 1994.
Conference: procomet1994
@proceedings{procomet:1994,
title = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994},
year = {1994},
tags = {programming},
researchr = {https://researchr.org/publication/procomet%3A1994},
cites = {0},
citedby = {0},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi (PROCOMET 94) San Miniato, Italy, 6-10 June, 1994},
conference = {procomet},
editor = {Ernst-Rüdiger Olderog},
volume = {A-56},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-82020-5},
}