Skip to Main Content

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 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