Sign In
Sign Up
Share
Discover Correctness
Find new Movies, TV shows, Games, and Books with Flick Club.
Filter
Sort By
Vote Weighted Desc
Artificial Unintelligence
3.0
1 votes
Algebra, combinatorics and logic in computer science
-
0 votes
Automated defect prevention
-
0 votes
On reductions and livelocks in asynchronous parallel computation
-
0 votes
Concurrency, Compositionality, and Correctness
-
0 votes
Correctness Problem in Computer Science (International lecture series in computer science)
-
0 votes
A multiprocessor execution profiler
-
0 votes
Software Exorcism: A Handbook for Debugging and Optimizing Legacy Code
-
0 votes
Information systems, correctness and reusability
-
0 votes
Variations on Constants
-
0 votes
Proving termination properties of PROLOG programs
-
0 votes
Accuracy and reliability in scientific computing
-
0 votes
Algebras for some input/output semantics
-
0 votes
Symposium on Logic in Computer Science
-
0 votes
Mathematical theory of program correctness
-
0 votes
The automatic generation of syntax directed editors
-
0 votes
Ruggedized minicomputer hardware and software topics, 1981
-
0 votes