Resource


List of Resource person, Journals and Conferences in formal analysis and algorithms. pdf