| Author |
MPC 2008 (2008 : Marseille, France)
|
| Title |
Mathematics of Program Construction [electronic resource] : 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings / edited by Philippe Audebaud, Christine Paulin-Mohring |
| Imprint |
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008 |
|
