Lawrence Paulson
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
ID: 1485002654120091649
22-01-2022 21:33:32
5,5K Tweet
1,1K Takipçi
321 Takip Edilen
@lawrpaulson
Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications.
ID: 1485002654120091649
22-01-2022 21:33:32
5,5K Tweet
1,1K Takipçi
321 Takip Edilen
