Automated compositional reasoning of intuitionistically closed regular properties
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
5148 LNCS
Pages
36-45
Date Issued
2008
Author(s)
Type
book