Join us

Author: Mark G. Staskausas

Publications

Publication period start: 1996

Publications

Staskausas, Mark G. (1996): An Experience in the Formal Verification of Industrial Software. In Communications of the ACM, 39 (12) pp. 256-272.

New to UX Design? We’re giving you a free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
310,808 designers enjoy our newsletter—sure you don’t want to receive it?

New to UX Design? We’re Giving You a Free ebook!

The Basics of User Experience Design

Download our free ebook The Basics of User Experience Design to learn about core concepts of UX design.

In 9 chapters, we’ll cover: conducting user interviews, design thinking, interaction design, mobile UX design, usability, UX research, and many more!

A valid email address is required.
310,808 designers enjoy our newsletter—sure you don’t want to receive it?