Articles with public access mandates - H.-Christian EstlerLearn more
Available somewhere: 2
Contracts in practice
HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
Mandates: Swiss National Science Foundation, European Commission
Modelchecking correctness of refactorings-some experiments
HC Estler, T Ruhroth, H Wehrheim
Electronic Notes in Theoretical Computer Science 187, 3-17, 2007
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program