Selim Ciraci Graph Based Verification of Software Evolution Requirements. 2009 University of Twente, Enschede, Netherlands http://eprints.eemcs.utwente.nl/16912/ http://purl.utwente.nl/publications/68738 https://www.base-search.net/Record/1cfe75dc329019d22e0da33ee04f9278ca92a8852dcc49f74722d3e2188bdc66 https://www.base-search.net/Record/d813639ba74ed1942ec672cc01b4d3d0bbd6037813a645cbfff141566e2ebdb9 base-search.net (ftunivtweneemcs:oai:ewi.utwente.nl:16912) base-search.net (ftunivtwente:oai:doc.utwente.nl:68738)