Skip to content
Toggle navigation
About
Research
People
Projects
Collaborations
Publications
Tools
(current)
Asmeta
A framework for the Abstract State Machines (ASMs) formal method.
Search FOSELAB
×
Search pages, people, projects, and tools