Welcome to Penn State Harrisburg Library's subject guide for Computer Science 513: Formal Methods for Software Engineering. This guide is designed to help students with various assignments throughout the course.

Click on the buttons on the left to see the library's resources to locate scholarly articles, evaluate information, and other topics.

If you need more help using the library, contact the STEM Librarian, Andrea Pritt, at alp5088@psu.edu