Join Literal

Read-alikes

Books like Using HOL to Verify a Fault-tolerance Machine

Readers who loved Using HOL to Verify a Fault-tolerance Machine by Hao Xu picked these up next.

1984
1984
George Orwell
Animal Farm
Animal Farm
George Orwell
God of Wrath
God of Wrath
Rina Kent
Project Hail Mary
Project Hail Mary
Andy Weir
Yesteryear
Yesteryear
Caro Claire Burke
Why Men Marry Bitches
Why Men Marry Bitches
Sherry Argov
هاري بوتر وحجر الفيلسوف
هاري بوتر وحجر الفيلسوف
J. K. Rowling
Fahrenheit 451
Fahrenheit 451
PENGUIN READERS 4: PICTURE OF DORIAN GRAY, THE BOOK AND MP3 PACK
PENGUIN READERS 4: PICTURE OF DORIAN GRAY, THE BOOK AND MP3 PACK
Oscar Wilde
The Bell Jar LP
The Bell Jar LP
Sylvia Plath
The Hunger Games: Special Edition Box Set
The Hunger Games: Special Edition Box Set
Suzanne Collins
Crime and Punishment
Crime and Punishment
Constance Garnett, Fyodor Dostoevsky

Your next favorite book is out there

Track your reading, share the passages worth remembering, and get recommendations from people you trust — not algorithms. Independent, free, and no ads.

Download on the App Store
... or sign up right here