mpc2008

Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings. Philippe Audebaud, Christine Paulin-Mohring (eds.), Lecture Notes in Computer Science, Springer, 2008.

BibTex Reference

@Book{mpc2008,
   Title = {Mathematics of Program Construction, 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings},
   BookTitle = {MPC},
   editor = {Audebaud, Philippe and Paulin-Mohring, Christine},
   Volume = {5133},
   Series = {Lecture Notes in Computer Science},
   Publisher = {Springer},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)