Formally verified synthesis of combinati
โ
David A. Basin; Geoffrey M. Brown; Miriam E. Leeser
๐
Article
๐
1991
๐
Elsevier Science
๐
English
โ 895 KB