Unlike pure theory books, Basso includes a chapter on He details:
The book is structured into nine chapters that progress from foundational theory to advanced practical verification: Unlike pure theory books, Basso includes a chapter