Rosemary Monahan

Rosemary Monahan

1 ספרים במאגר

ספרים

Proceedings of the 17th Workshop on Formal Techniques for Java-Like ProgramsRosemary Monahan

Proceedings of the 17th Workshop on Formal Techniques for Java-Like Programs

Rosemary Monahan · 2015

ספרים משותפים ואוספים

ספרים שבהם Rosemary Monahan מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Integrated Formal MethodsMaurice H. ter Beek

Integrated Formal Methods

Maurice H. ter Beek · 2022