A note on "D-Cases as proofs as programs"
By: Makoto Takeyama
Series: Programming science technical report = -- Sanpu kagaku kenkyū sokuhō -- AIST-PS-2010-007
Publisher: Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology
Published: 2010
Place of publication: Amagasaki
Language: eng
Subjects: Systems programming (Computer science)
Notes: Cover title.

Includes bibliographical references (p. 4).