Papers matching “abstraction refinement” 6

Carlos Alberti, Frank Hase, Matthias Frey, Darko Dubravica, Thomas Blumenstock, Angelika Dehn, +55 more

Carlos Alberti, Frank Hase, Matthias Frey, Darko Dubravica, Thomas Blumenstock, Angelika Dehn, +52 more

Mijie Pang, Jianbing Jin, Arjo J. Segers, Huiya Jiang, Wei Han, Ji Xia, +4 more

S. P. Burton, Otto Hasekamp, K. D. Froyd, Y. Shinozuka, A. J. Beyersdorf, Luke D. Ziemba, +11 more

Meloà Kacenelenbogen, S. P. Burton, Otto Hasekamp, K. D. Froyd, Y. Shinozuka, A. J. Beyersdorf, +12 more