%0 Thesis %1 phd/us/Prins87 %A Prins, Jan F. %D 1987 %K dblp %T Partial Implementations in Program Derivation.

@phdthesis{phd/us/Prins87, added-at = {2022-04-04T00:00:00.000+0200}, author = {Prins, Jan F.}, biburl = {https://www.bibsonomy.org/bibtex/235484b5dc59016b2cc6265a805a86f07/dblp}, interhash = {5c441888b813b8354e4ce0835b00ff10}, intrahash = {35484b5dc59016b2cc6265a805a86f07}, keywords = {dblp}, school = {Cornell University, USA}, timestamp = {2024-04-09T08:04:04.000+0200}, title = {Partial Implementations in Program Derivation.}, year = 1987 }