| Document Date: 2014-04-07 06:29:39 Open Document File Size: 519,39 KBShare Result on Facebook
Country United Kingdom / / / Facility Newcastle University / / IndustryTerm theorem proving systems / theorem proving tools / typical industrial applications / software systems / control systems / / Movie The Charge of the Light Brigade / / OperatingSystem Sequent / / Organization Light Brigade / Andrius Velykis School of Computing Science / European Union / Newcastle University / / Person Matthias Schmalz / Leo Freitas / Cliff B. Jones / / Position author / designer / second author / engineer / / Technology design verification / artificial intelligence / /
SocialTag |