Title: Verified Software: Theories, Tools, Experiments
Subjects: Logic design, Artificial intelligence, Computer science, Software engineering, Operating systems (Computers), Computer software, verification, Computer programs, Computer software, Congresses, Verification, Quality control, Compilers (Computer programs)