×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [specification patternsexample]
Home >
specification patternsexample
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