Functionality decomposition by compositional correstness preserving transformation

E. Brinksma, R. Langerak, P. Broekroelofs

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993)
EditorsC. Courcoubetis
PublisherSpringer
ISBN (Print)3-540-56922-7
DOIs
Publication statusPublished - 1993

Publication series

NameLecture Notes in Computer Science
Volume697
ISSN (Print)0302-9743

Cite this

Brinksma, E., Langerak, R., & Broekroelofs, P. (1993). Functionality decomposition by compositional correstness preserving transformation. In C. Courcoubetis (Ed.), Computer Aided Verification (Proceedings 5th International Conference, CAV'93, Elounda, Crete, Greece, June 28-July 1, 1993) (Lecture Notes in Computer Science; Vol. 697). Springer. https://doi.org/10.1007/3-540-56922-7_31