TY - BOOK ID - 126870802 TI - Formal program development : IFIP TC2/WG 2.1 state-of-the-art report PY - 1993 SN - 9783540574996 3540574999 PB - Berlin: Springer, DB - UniCat KW - Logiciels KW - Programmation (Informatique) UR - https://www.unicat.be/uniCat?func=search&query=sysid:126870802 AB - ER -