Pages that link to "Item:Q1572700"
From MaRDI portal
The following pages link to Mathematics of program construction. 5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3--5, 2000. Proceedings (Q1572700):
Displaying 3 items.
- Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15--18, 2008. Proceedings (Q932104) (← links)
- Mathematics of program construction. 2nd international conference, Oxford, UK, June 29 - July 3, 1992. Proceedings (Q1310274) (← links)
- Special issue: Mathematics of program construction, MPC 2000. 5th international conference, Ponte de Lima, Portugal, July 3--7, 2000 (Q1851387) (← links)