Main, Michael G., Melton, Austin C., Mislove, Michael W., Schmidt, David A., SpringerLink (Online service)
Springer New York : Imprint: Springer
|
Lingas, Andrzej, Karlsson, Rolf, Carlsson, Svante, SpringerLink (Online service)
Springer-Verlag
|
Main, M., Melton, A., Mislove, M., Schmidt, D., SpringerLink (Online service)
Springer-Verlag
|
Tison, Sophie, SpringerLink (Online service)
Springer-Verlag
|
Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)
Springer-Verlag
|
Gaudel, M. -C, Jouannaud, J. -P, SpringerLink (Online service)
Springer-Verlag
|
International Conference on the Mathematical Foundation of Programming Semantics, Main, Michael, 1956-
Springer-Verlag
|
Brookes, Stephen., Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Brookes, Stephen, Main, Michael, Melton, Austin, Mislove, Michael, Schmidt, David, SpringerLink (Online service)
Springer-Verlag
|
Bird, R. S., Morgan, C. C., Woodcock, J. C. P., SpringerLink (Online service)
Springer-Verlag
|
Main, Michael., Melton, Austin., Mislove, Michael., Schmidt, David., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
Kirchner, Hélène, SpringerLink (Online service)
Springer-Verlag
|