A Formal Monitoring-Based Framework for Software Development and Analysis.

Feng Chen, Marcelo d'Amorim, Grigore Rosu

Browse the full ICFEM paper archive.