
Our paper entitled “A model-based framework for automatic generation of a pattern language verifier” was accepted in the Software: Practice and Experience (SPE) journal.

Our paper entitled “A model-based framework for automatic generation of a pattern language verifier” was accepted in the Software: Practice and Experience (SPE) journal.