Naftalin, Maurice., Denvir, Tim., Bertran, Miquel., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Bruynooghe, Maurice, Wirsing, Martin, SpringerLink (Online service)
Springer-Verlag
|
Gaudel, Marie-Claude, Woodcock, James, SpringerLink (Online service)
Springer-Verlag
|
Tokoro, Mario, Pareschi, Remo, SpringerLink (Online service)
Springer-Verlag
|
International Symposium of Formal Methods Europe, Naftalin, Maurice, 1951-, Denvir, Tim, Bertran, Miquel
Springer-Verlag
|
Futatsugi, Kokichi, Matsuoka, Satoshi, SpringerLink (Online service)
Springer-Verlag
|
Woodcock, James C. P., Larsen, Peter G., SpringerLink (Online service)
Springer-Verlag
|
Bjørner, Dines, Broy, Manfred, Pottosin, Igor V., SpringerLink (Online service)
Springer-Verlag
|
Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans, SpringerLink (Online service)
Springer-Verlag
|
Hagiya, Masami, Mitchell, John C., SpringerLink (Online service)
Springer-Verlag
|
Charlier, Baudouin, SpringerLink (Online service)
Springer-Verlag
|
Ehrig, Hartmut, Floyd, Christiane, Nivat, Maurice, Thatcher, James, SpringerLink (Online service)
Springer-Verlag
|