Staden, Stephan van
- Journal Article
Journal / seriesScience of Computer Programming
Pages / Article No.
SubjectAlgebra of programming; Hoare logic; Process calculi; Operational semantics; Event model
NotesReceived 20 December 2012, Revised 15 August 2013, Accepted 22 August 2013, Available online 4 September 2013.
MoreShow all metadata