Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

COMP 513: Formal Methods for Software Engineering

This guide is for students in Penn State Harrisburg's COMP 513 course. It includes databases, research tips, and other resources for various assignments.

Welcome

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