A User-friendly Tool for Model Checking
β
Rutle, Adrian; Rabbi, Fazle; MacCaull, Wendy; Lamo, Yngve
π
Article
π
2013
π
Elsevier
π
English
β 501 KB