Amir Pnueli: verschil tussen versies

1.441 bytes toegevoegd ,  15 jaar geleden
Vertaald van Wikipedia.en
(Vertaald van Wikipedia.en)
(geen verschil)
6.478

bewerkingen