New Chat

Search History

Scholar Research Paper Search Library

Chats

Formal Specification

Javier Ramos Rodríguez

2008 · DOI: 10.1002/9780470050118.ecse161

0 Citations