![]() |
@article{DBLP:journals/spe/MatetiJ83,
author = {Prabhaker Mateti and
Joxan Jaffar},
title = {A Correctness Proof of an Indenting Program},
journal = {Softw., Pract. Exper.},
volume = {13},
number = {3},
year = {1983},
pages = {199-226},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-11-25 by Michael Ley (ley@uni-trier.de)