Report copyright - A graphical strategy language for proof re-use · Motivations • Certain formal methods follow a refinement-based posit-and- prove approach • stepwise development of system •
Please pass captcha verification before submit form
Please pass captcha verification before submit form