Axiomatics for Data Refinement in Call b
β
John Power; Miki Tanaka
π
Article
π
2009
π
Elsevier Science
π
English
β 385 KB