@inproceedings{DBLP:conf/mpc/Jones00,
 author = {Mark P. Jones},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/mpc/Jones00.bib},
 booktitle = {Mathematics of Program Construction, 5th International Conference,
MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000, Proceedings},
 doi = {10.1007/10722010_1},
 editor = {Roland Carl Backhouse and
José Nuno Oliveira},
 pages = {1},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 timestamp = {Tue, 14 May 2019 10:00:46 +0200},
 title = {Integrating Programming, Properties, and Validation},
 url = {https://doi.org/10.1007/10722010_1},
 volume = {1837},
 year = {2000}
}