iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/aii/CybulkaB85.xml
Jolanta Cybulka Jerzy Bartoszek The proof-checking component for the PLEATS programming system enabling specification of theories. 149-155 1985 conf/aii/1985 Mathematical Methods of Specification and Synthesis of Software Systems db/conf/aii/aii1985.html#CybulkaB85 https://doi.org/10.1007/3-540-16444-8_10