Personensuche
X
?
Proceedings of the Third FME Workshop on Formal Methods in Software Engineering ,
13
Syntax-driven program verification of matching logic proper..:
, In:
?
Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches ,
15