John Robert Derek Hughes

According to our database, John Robert Derek Hughes authored at least 2 papers between 2008 and 2011.

Collaborative distances:

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

2011

Reasoning about programs using operational semantics and the role of a proof support tool.

John Robert Derek Hughes

PhD thesis, 2011

2008

Reasoning about programs via operational semantics: requirements for a support system.

John Robert Derek Hughes, Cliff B. Jones

Autom. Softw. Eng., 2008