Model checking action system refinements
โ
Graeme Smith; Kirsten Winter
๐
Article
๐
2007
๐
Springer
๐
English
โ 691 KB