scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Language Theory deck
Kitchen
/
Journeys
/
Programming language theory
/
Name some classical heavyweight formal methods
Language Theory
Wrong
Right
New · 0d
question
Name some classical heavyweight formal methods
Hint
Hoare logic
Chapter 1. introduction
← Previous flashcard
List some reasons why the rust crates ecosystem is robust?
Next flashcard →
Name some lightweight formal methods