Model Checking and Theorem Proving-Based Verification of EIS.

Juan Carlos Augusto Model Checking and Theorem Proving-Based Verification of EIS. IS-33-IS-34 2004 ICEIS (1) db/conf/iceis/iceis2004-1.html#Augusto04