Search results

Create the page "Design" on this wiki! See also the search results found.

• EMF framework for Event-B
  [[Category:Design proposal]]
  26 KB (3,961 words) - 13:04, 19 May 2020
• D45 Prover Enhancement
  ...40. Springer, 2008.</ref> and Vampire<ref>A. Riazanov and A. Voronkov. The design and implementation of Vampire. AI Communications, 15(2-3):91-110, 2002.</re
  21 KB (3,334 words) - 21:20, 20 April 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)