Designing Domain Specific Languages for Verification: First Steps (2011)

First Author: Markus Roggenbach (Co-Author)
Attributed to:  Overcoming the railway capacity challenges without undermining rail network safety (SafeCap) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://ceur-ws.org/Vol-760/

Type: Conference/Paper/Proceeding/Abstract