Putting time into proof outlines

Materias

• Real-time programming
• Verification
• Computer programs

Ediciones (2)

• Putting time into proof outlines (1993)

  Dept. of Computer Science, Cornell University · inglés

• Putting time into proof outlines (1991)

  Dept. of Computer Science · inglés

Más obras de Fred B. Schneider

Trust in cyberspace

A Logical Approach to Discrete Math

On concurrent programming

1997

Ver todas las obras de Fred B. Schneider →