paige85

R. Paige. Programming with Invariants. Research Report IBM, No 0, October 1985.

Keyword

[ Inccomp ]

Contact

Robert Paige

BibTex Reference

@TechReport{paige85,
   Author = {Paige, R.},
   Title = {Programming with Invariants},
   Number = {0},
   Institution = {IBM},
   Month = {October},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)