90 followers
Testing-Based Formal Verification for Theorems and Its Application to Software Specs by Shaoying Liu https://t.co/zhRzULasEz #tap16 #staf16
Testing-Based Formal Verification for Theorems and Its Application to Software Specs by Shaoying Liu https://t.co/zhRzULasEz #tap16 #staf16