%0 Conference Paper %1 conf/ddecs/NacifSTFC08 %A Nacif, José Augusto Miranda %A Silva, Thiago S. F. %A Tavares, Andréa Iabrudi %A Fernandes, Antônio Otávio %A Jr., Claudionor José Nunes Coelho %B DDECS %D 2008 %E Straube, Bernd %E Drutarovský, Milos %E Renovell, Michel %E Gramata, Peter %E Fischerová, Mária %I IEEE Computer Society %K dblp %P 190-194 %T Efficient Allocation of Verification Resources using Revision History Information. %U http://dblp.uni-trier.de/db/conf/ddecs/ddecs2008.html#NacifSTFC08 %@ 978-1-4244-2276-0

@inproceedings{conf/ddecs/NacifSTFC08, added-at = {2023-03-24T00:00:00.000+0100}, author = {Nacif, José Augusto Miranda and Silva, Thiago S. F. and Tavares, Andréa Iabrudi and Fernandes, Antônio Otávio and Jr., Claudionor José Nunes Coelho}, biburl = {https://www.bibsonomy.org/bibtex/2375cbd59ee29551a09cab9312423ad39/dblp}, booktitle = {DDECS}, crossref = {conf/ddecs/2008}, editor = {Straube, Bernd and Drutarovský, Milos and Renovell, Michel and Gramata, Peter and Fischerová, Mária}, ee = {https://doi.ieeecomputersociety.org/10.1109/DDECS.2008.4538784}, interhash = {09988508c89cfbd17628cc790ac2e479}, intrahash = {375cbd59ee29551a09cab9312423ad39}, isbn = {978-1-4244-2276-0}, keywords = {dblp}, pages = {190-194}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:40:54.000+0200}, title = {Efficient Allocation of Verification Resources using Revision History Information.}, url = {http://dblp.uni-trier.de/db/conf/ddecs/ddecs2008.html#NacifSTFC08}, year = 2008 }