Preserving liveness: Comments on βsafety
β
MartΓn Abadi; Bowen Alpern; Krzysztof R. Apt; Nissim Francez; Shmuel Katz; Lesli
π
Article
π
1991
π
Elsevier Science
π
English
β 197 KB