Articles with public access mandates - Fabian BüttnerLearn more
Available somewhere: 3
EMFtoCSP: A tool for the lightweight verification of EMF models
CA González, F Büttner, R Clarisó, J Cabot
2012 First International Workshop on Formal Methods in Software Engineering …, 2012
Mandates: Government of Spain
Checking model transformation refinement
F Büttner, M Egea, E Guerra, J De Lara
International Conference on Theory and Practice of Model Transformations …, 2013
Mandates: Government of Spain
Lightweight string reasoning in model finding
F Büttner, J Cabot
Software & Systems Modeling 14 (1), 413-427, 2015
Mandates: European Commission
Publication and funding information is determined automatically by a computer program