AspectLTL: An aspect language for LTL specifications

Shahar Maoz*, Yaniv Sa'ar

*Corresponding author for this work

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

29 Scopus citations

Fingerprint

Dive into the research topics of 'AspectLTL: An aspect language for LTL specifications'. Together they form a unique fingerprint.

Keyphrases

Computer Science