DMCA

Configurable Formal Methods for Extreme Modeling Position Paper

by Uli Fahrenberg , Axel Legay , Irisa Inria Rennes