Cite
HARVARD Citation
Ghorbal, K. et al. (2017). A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Computer languages, systems & structures. pp. 19-43. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Ghorbal, K. et al. (2017). A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Computer languages, systems & structures. pp. 19-43. [Online].