A Formal Monitoring-Based Framework for Software Development and Analysis (2004)

Cached

Download Links

by Feng Chen , Grigore Ro
Venue:In Proceedings of ICFEM’04, volume 3308 of LNCS
Citations:20 - 4 self