Report copyright - A Calculus for Dynamic Architectures · 2. Background on Isabelle Isabelle [13] is a generic proof assistant which allows mathematical formulas to be expressed in a formal language
Please pass captcha verification before submit form