Skip to content

Home Practice Lessons About

Emil Sekerinski

Books

FM 2006
Formal Methods Teaching
Integrated Formal Methods
Formal Methods. FM 2019 International Workshops
FM 2006 : Formal Methods
Program Development by Refinement
From Action Systems to Distributed Systems

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.