Meet Dr. John Rushby, a computer scientist who runs the Formal Methods group within the Computer Science Laboratory at SRI International. Dr. Rushby is a legendary scientist in the field of formal methods and verification. He has a very rich history in the computer science which you will learn...
computermousecomputer science
computing history
expert conversations
formal methods
icse 2011
john rushby
sri international
verification
wolfram schulte
