Specification and verification of inter-component constraints in CTL

Details

Language :

English

ISSN :

01635948

Issue :

Preprints

Database :

Supplemental Index

Journal :

ACM SIGSOFT Software Engineering Notes

Publication Type :

Periodical

Accession number :

ejs51418906

Full Text :

https://doi.org/10.1145/1118537.1123067