Login / Signup

Generalizable safety annotations for specification of failure patterns.

Ian Philip WolforthMartin WalkerLars GrunskeYiannis Papadopoulos
Published in: Softw. Pract. Exp. (2010)
Keyphrases