|
IEEE Electronic Library (IEL) Conference Proceedings, IEEE
|
International Conference on the Mathematics of Program Construction, Jeuring, Johan, 1965-
Springer
|
International Conference on the Mathematics of Program Construction, Backhouse, Roland C., 1948-, Oliveira, José N.
Springer
|
International Conference on the Mathematics of Program Construction, Möller, Bernhard, 1953-
Springer
|
International Conference on the Mathematics of Program Construction, Boiten, Eerke A, Möller, Bernhard, 1953-
Springer
|
International Conference on the Mathematics of Program Construction, Uustalu, Tarmo
Springer
|
International Conference on the Mathematics of Program Construction, Kozen, Dexter
Springer
|
Ekaterina Komendantskaya
SpringerLink Books - AutoHoldings, Springer Nature
| |