A formal monitoring-based framework for software development and analysis (2004)

by Feng Chen
Venue:In International Conference on Formal Engineering Methods (ICFEM’04), volume 3308 of LNCS
Citations:25 - 7 self