CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?
QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.