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