Rule-based Methodologies for the Specification and Analysis of Complex Computing Systems

Aquesta tesi apareix a les col·leccions següents