Verification and Testing of S-ER Representations.

Antonio L. Furtado Paulo A. S. Veloso José Mauro Volkmer de Castilho Verification and Testing of S-ER Representations. 123-147 1981 ER db/conf/er/er81.html#FurtadoVC81 conf/er/81 db/conf/er/FurtadoVC81.html er81/ER81-P123.pdf ... conf/vldb/BenneworthBTHM81 ... journals/tods/Chen76 books/aw/Date77 conf/vldb/EhrigKW78 ... ... journals/cacm/Guttag77 ... journals/acta/Hoare72 ... journals/cacm/King76 journals/cacm/LiskovSAS77 ... conf/er/SantosNF79 ... books/cs/Ullman80 conf/vldb/VelosoCF81