A Program Refinement Framework Supporting Reasoning about Knowledge and Time.

Kai Engelhardt, Ron van der Meyden, Yoram Moses

Browse the full FOSSACS paper archive.