TY - CONF
TI - The VDM+B project: objectives and progress
AU - Bicarregui, Juan C. (Juan Carlos)
AU - Δημητράκος, Θ.
AU - Lano, K.
AU - Maibaum, Thomas S. E.
AU - Ritchie, B.
PY - 1999
SP - 71-77
T2 - Β' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -