1,503 followers
FacebookのInferの論文はこれなんかな.. Moving Fast with Software Verification http://t.co/kYpDtOscto
FacebookのInferの論文はこれなんかな.. Moving Fast with Software Verification http://t.co/kYpDtOscto
I'm reading Moving Fast with Software Verification http://t.co/LU2fsgXV1D #springerlink
Practical Formal Verification of Domain-Specific Language Applications http://t.co/Ggz0du5NhL #springerlink
Practical Formal Verification of Domain-Specific Language Applications http://t.co/Ggz0du5NhL #springerlink