Jonathan Hoag

According to our database, Jonathan Hoag authored at least 2 papers between 2008 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the Design and Verification of Microprocessor Systems for High-Assurance Applications., 2010

2008

Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby, Jonathan Hoag, David A. Greve

Proceedings of the FM 2008: Formal Methods, 2008