Search results
From Event-B
Jump to navigationJump to searchCreate the page "Design" on this wiki! See also the search results found.
- [[Category:Design proposal]]26 KB (3,961 words) - 13:04, 19 May 2020
- ...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.</re21 KB (3,334 words) - 21:20, 20 April 2012