Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications.

Details

Language :

English

ISBNs :

9781424459124

Database :

Complementary Index

Journal :

2009 Ninth International Conference on Quality Software

Publication Type :

Conference

Accession number :

81541442

Full Text :

https://doi.org/10.1109/QSIC.2009.60