Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Jonathan
Last name:	Hoag
DBLP:	11/1949
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Torben Amtoft, John Hatcliff, Edwin Rodríguez, Robby null, Jonathan Hoag, David Greve. Specification and Checking of Software Contracts for Conditional Information Flow.	FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings 2008	(0)	2008

Your query returned 1 matches in the database.