Boolean and Cartesian abstraction for mo
โ
Thomas Ball; Andreas Podelski; Sriram K. Rajamani
๐
Article
๐
2002
๐
Springer
๐
English
โ 215 KB