𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A UTP semantics forCircus

✍ Scribed by Marcel Oliveira; Ana Cavalcanti; Jim Woodcock

Publisher
Springer
Year
2007
Tongue
English
Weight
756 KB
Volume
21
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Refinement Strategy forCircus
A Refinement Strategy forCircus
✍ Ana Cavalcanti; Augusto Sampaio; Jim Woodcock πŸ“‚ Article πŸ“… 2003 πŸ› Springer 🌐 English βš– 331 KB
Mutation testing in UTP
Mutation testing in UTP
✍ Bernhard K. Aichernig; He Jifeng πŸ“‚ Article πŸ“… 2008 πŸ› Springer 🌐 English βš– 561 KB
Semantics - A Reader
Semantics - A Reader
✍ Davis, Steven πŸ“‚ Fiction πŸ“… 0 🌐 English βš– 5 MB