%0 Journal Article %1 journals/moc/Kontogeorgis14 %A Kontogeorgis, Aristides %D 2014 %J Math. Comput. %K dblp %N 287 %P 1477-1488 %T Constructing class invariants. %U http://dblp.uni-trier.de/db/journals/moc/moc83.html#Kontogeorgis14 %V 83

@article{journals/moc/Kontogeorgis14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Kontogeorgis, Aristides}, biburl = {https://www.bibsonomy.org/bibtex/288d89ea7708428e337ded7bf2f0ef90d/dblp}, ee = {https://doi.org/10.1090/S0025-5718-2013-02769-X}, interhash = {ae50d37fd6c29a495896eeed5958bf8f}, intrahash = {88d89ea7708428e337ded7bf2f0ef90d}, journal = {Math. Comput.}, keywords = {dblp}, number = 287, pages = {1477-1488}, timestamp = {2024-04-09T02:07:53.000+0200}, title = {Constructing class invariants.}, url = {http://dblp.uni-trier.de/db/journals/moc/moc83.html#Kontogeorgis14}, volume = 83, year = 2014 }