Back to Results
First PageMeta Content
Ubuntu / Logic in computer science / Frama-C / Formal methods / Debian / Proof assistant / Isabelle / Deb / Theorem prover / Software / Dpkg / Automated theorem proving


INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo
Add to Reading List

Document Date: 2013-05-14 11:38:47

Open Document

File Size: 279,87 KB

Share Result on Facebook

Company

INFORMATION AND COMMUNICATION TECHNOLOGIES / Intel / /

Facility

Stanford University / /

IndustryTerm

software dependencies / verification tools / why3 tool / virtualbox guest tools / verification tool / /

OperatingSystem

Linux / /

Organization

Stanford University / /

Person

Claudio Sacerdoti / /

Position

directory cerco/driver / /

Product

Debian / /

ProgrammingLanguage

C / C++ / /

SportsLeague

Stanford University / /

Technology

virtual machine / Linux / API / /

URL

http /

SocialTag