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]

	Text (Full Text) MoL-1997-03.text.ps.gz Download (169kB)
	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