TY - CPAPER
AU - Rance Cleaveland
BT - International Symposium on Leveraging Applications of Formal Methods
LA - eng
PB - Springer, Cham
PY - 2018
T2 - International Symposium on Leveraging Applications of Formal Methods
TI - Programming is modeling
ER -