Literature

Found 2 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Sharygina  [Clear All Filters]
2010
Kroening, D., Sharygina, N., Tsitovich, A., Wintersteiger, C. , "Termination Analysis with Compositional Relations", 22nd International Conference on Computer Aided Verification, vol. 6174, Edinburgh, Springer, pp. 89-103, 15/07/2010. Abstract
 Export: Tagged XML BibTex
2009
Kroening, D., Sharygina, N., Tonetta, S., Tsitovich, A., Wintersteiger, C. , "Loopfrog: A Static Analyzer for ANSI-C Programs", ASE: IEEE, pp. 668-670, 2009  . Abstract
 Export: Tagged XML BibTex