paige86

R. Paige. Programming with Invariants. IEEE Software, 1986.

Keyword

Robert Paige

@article{paige86,
   Author = {Paige, R.},
   Title = {Programming with Invariants},
   Journal = {IEEE Software},
   Year = {1986}
}

Get EndNote Reference (.ref)