Ghosts for Lists: From Axiomatic to Executable Specifications
Frédéric Loulergue
◽
Allan Blanchard
◽
Nikolai Kosmatov
1994 ◽
Vol 29
(4)
◽
pp. 23-30
◽
2007 ◽
Vol 1
(1)
◽
pp. 28
◽
Holger Giese
◽
Florian Klein
Yaser Ghanam
◽
Frank Maurer
Jean-Baptiste Jeannin
◽
Guido de Caso
◽
Juan Chen
◽
Yuri Gurevich
◽
Prasad Naldurg
◽
...
Irina Rychkova
◽
Bénédicte Le Grand
◽
Carine Souveyet
Claus Hoffmann
◽
Burhan Dinler
Oana Andrei
◽
Gabriel Ciobanu
◽
Dorel Lucanu
2015 ◽
Vol 48
(7)
◽
pp. 44-49
◽
Axel Habermaier
◽
Johannes Leupolz
◽
Wolfgang Reif
1991 ◽
Vol 57-58
◽
pp. 347-359
◽
Marvin V. Zelkowitz
◽
Sergio Cardenas