×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [automatabased programs]
Home >
automatabased programs
On the Formal Specification of Automata- based Programs via Specification Patterns Spring/Summer Young Researchers' Colloquium on Software Engineering.
218 views
On the Formal Specification of Automata-based Programs via Specification Patterns
22 views