Automated compositional reasoning of intuitionistically closed regular properties
Journal
International Journal of Foundations of Computer Science
Journal Volume
20
Journal Issue
4
Pages
747-762
Date Issued
2009
Author(s)
Wang, B.-Y.
Type
journal article