Login / Signup

Synthesis of live behaviour models for fallible domains.

Nicolás D'IppolitoVíctor A. BrabermanNir PitermanSebastián Uchitel
Published in: ICSE (2011)
Keyphrases