(In)Formal Methods: Teaching Program Derivation via the Moore Method L
==================================================================

(In)Formal Methods: Teaching Program Derivation via the Moore
Method LAL-94-01.ps.Z Paper(FTP/PS)

Address : ftp://ftp.cs.uidaho.edu/pub/techreports/LAL-94-01.ps.Z
Try also: http://ftp.cs.uidaho.edu/   (gopher is dead; the host may not be)
Year    : 1995
Source  : lycos9510
Tags    : Lycos crawler index

------------------------------------------------------------------
gopher://hp84.com/    |    https://ge97.com/
.