10 results on '"Stevens, Perdita"'
Search Results
2. A simple game-theoretic approach to checkonly QVT Relations
3. Bidirectional model transformations in QVT: semantic issues and open questions
4. On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams
5. Functional programming languages for verification tools: a comparison of Standard ML and Haskell
6. Small-Scale XMI Programming: A Revolution in UML Tool Use?
7. Guest editorial to the special section on MODELS 2012
8. A verification tool developer’s vade mecum
9. Guest editors’ introduction: Advancements and extensions of verification techniques
10. Guest editorial to the special issue on UML2003
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.