Formal Methods Reading Seminar (Fall 2012) Resources

This page provides various links to conferences and journals in the area.

Conferences

Journals

Last modified Monday, August 27, 2012.