Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Maximiliano Cristiá, Claudia S. Frydman. Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions. In John Derrick, John A. Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene, editors, Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7316 of Lecture Notes in Computer Science, pages 280-293, Springer, 2012. [doi]

This author has not been identified. Look up 'Maximiliano Cristiá' in GoogleThis author has not been identified. Look up 'Claudia S. Frydman' in Google

runs on WebDSL