A Brief History of the Personal Computer. What is a Personal Computer? A Personal Computer (PC) is a small, relatively inexpensive computer designed.
Static Program Analysis for Verification - an Introduction -