Level 2 Status February 25, 2003 syl 1 Level 2 Status Sung-Yung Lee and Edward Olsen Chris Barnet and John Blaisdell February 25, 2003.
Software Model Checking with SMT Ken McMillan Microsoft Research TexPoint fonts used in EMF: A A A A A.
Modern Core Perl
A JSR-310 Date: Beyond JODA Time
Data stuctures
A Comparative Study of Software Model Checkers as Unit Testing Tools an Industrial Case Study
Hanna bosc2010
ruby2600 - an Atari 2600 emulator written in Ruby
Adrian Colyer - Keynote: NoSQL matters - NoSQL matters Dublin 2015
INFN-T1 site report Andrea Chierici On behalf of INFN-T1 staff HEPiX Fall 2013.
(Quickly) Testing the Tester via Path Coverage Alex Groce Oregon State University (formerly NASA/JPL Laboratory for Reliable Software)
Introduction The Approach ’ s Overview A Language of Pointers The Type System Operational Semantics Type Safety Type Inference The Rest of C Experiments.