Checking Z Data Refinements Using Traces
β
AndrΓ© Didier; Adalberto Farias; Alexandre Mota
π
Article
π
2009
π
Elsevier Science
π
English
β 535 KB