Jolanta Cybulka, Jerzy Bartoszek. The proof-checking component for the PLEATS programming system enabling specification of theories. In Wolfgang Bibel, Klaus P. Jantke, editors, Mathematical Methods of Specification and Synthesis of Software Systems 85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Volume 215 of Lecture Notes in Computer Science, pages 149-155, Springer, 1985.
@inproceedings{CybulkaB85,
title = {The proof-checking component for the PLEATS programming system enabling specification of theories},
author = {Jolanta Cybulka and Jerzy Bartoszek},
year = {1985},
tags = {programming},
researchr = {https://researchr.org/publication/CybulkaB85},
cites = {0},
citedby = {0},
pages = {149-155},
booktitle = {Mathematical Methods of Specification and Synthesis of Software Systems 85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985},
editor = {Wolfgang Bibel and Klaus P. Jantke},
volume = {215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-16444-8},
}