Automatic Formal Verification of Digital Systems Using Prolog.
ACM SIGCHI Bulletin,
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!