Formal Methods Websites
Dennis Sprokholt
Dennis Sprokholt is a PhD Candidate in Computer Science at TU Delft. Dennis applies formal methods to low-level programs, often for superoptimization.
Not Applicable
$
8.95
ISS Ukraine - Information Software Systems Ukraine
Ukrainian engineering and software development company. Partners to Motorola, Freescale, Microsoft. Software development; tools for software verification; business and IT consultancy. Provides overview of company profile; software engineering; ISS services; company news
Not Applicable
$
8.95
Satyendra kr. Banjare
Website of Satyendra Kumar Banjare, Undergraduate student of IIT Roorkee | Verifiably Secure computing geek
Not Applicable
$
8.95
First International Workshop on Privacy and Security in Programming (P
This workshop seeks to embed privacy and security into all aspects of programming and programming languages (and by extension, all aspects of software and software engineering).
Not Applicable
$
8.95
First International Workshop on Privacy and Security in Programming (P
This workshop seeks to embed privacy and security into all aspects of programming and programming languages (and by extension, all aspects of software and software engineering).
Not Applicable
$
8.95
