MoL-1997-03: Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming

MoL-1997-03: Pauly, Marc (1997) Transforming Predicates or Updating States? Total Correctness in Dynamic Logic and Structured Programming. [Report]

[img] Text (Full Text)
MoL-1997-03.text.ps.gz

Download (169kB)
[img] Text (Abstract)
MoL-1997-03.abstract.txt

Download (1kB)
Item Type: Report
Report Nr: MoL-1997-03
Series Name: Master of Logic Thesis (MoL) Series
Year: 1997
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/700

Actions (login required)

View Item View Item