TY - BOOK ID - 135752355 TI - Specification of Pascal/R : the formal semantic specification using VDM AU - Lamersdorf, Winfried AU - Schmidt, Joachim W. PY - 1980 PB - Hamburg Universität Hamburg. Fachbereich Informatik DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:135752355 AB - ER -