Gaudel, Marie-Claude., Woodcock, James., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Cousot, Radhia, Schmidt, David A., SpringerLink (Online service)
Springer-Verlag
|
International Symposium of Formal Methods Europe, Gaudel, M.-C. (Marie-Claude), Woodcock, James
Springer-Verlag
|
Cousot, Patrick, Falaschi, Moreno, Filé, Gilberto, Rauzy, Antoine, SpringerLink (Online service)
Springer-Verlag
|
Naftalin, Maurice, Denvir, Tim, Bertran, Miquel, SpringerLink (Online service)
Springer-Verlag
|
Nielson, Hanne Riis, SpringerLink (Online service)
Springer-Verlag
|
Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)
Springer-Verlag
|
Naftalin, Maurice., Denvir, Tim., Bertran, Miquel., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service)
Springer-Verlag
|
Möller, Bernhard, Partsch, Helmut, Schuman, Steve, SpringerLink (Online service)
Springer-Verlag
|
Futatsugi, Kokichi, Matsuoka, Satoshi, SpringerLink (Online service)
Springer-Verlag
|
Woodcock, James C.P., Larsen, Peter G., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|