Non abbiamo ancora una biografia di Moonzoo Kim.
Pubblicato in Inglese
Automated Technology for Verification and Analysis
