%0 Journal Article %1 journals/software/Paige86 %A Paige, Robert %D 1986 %J IEEE Software %K dblp %N 1 %P 56-69 %T Programming with Invariants. %U http://dblp.uni-trier.de/db/journals/software/software3.html#Paige86 %V 3

@article{journals/software/Paige86, added-at = {2016-01-12T00:00:00.000+0100}, author = {Paige, Robert}, biburl = {https://www.bibsonomy.org/bibtex/2270ec7befc4b418e18465e74609e3f52/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.1986.233070}, interhash = {5e2f410d3663fc0353e38499340a4266}, intrahash = {270ec7befc4b418e18465e74609e3f52}, journal = {IEEE Software}, keywords = {dblp}, number = 1, pages = {56-69}, timestamp = {2016-01-13T11:48:38.000+0100}, title = {Programming with Invariants.}, url = {http://dblp.uni-trier.de/db/journals/software/software3.html#Paige86}, volume = 3, year = 1986 }