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.

LaTeX

LaTeX is a document typesetting system that can produce attractive articles, books, and slides. It is especially useful when writing documents that have a lot of mathematical notation. LaTeX is a computer programming language and takes a little bit of time and practice to learn. The purpose of the LaTeX guide, linked below, is to provide a basic introduction to LaTeX.