He is also one of the founders of the Abstract State Machines ( ASM ) formal method for accurate and controlled design and analysis of computer - based systems and cofounder of the series of international ASM workshops .
He is co-founder of the international conference series CSL .
co-founder is also one of the founders of the Abstract State Machines ( ASM ) formal method for accurate and controlled design and analysis of computer - based systems and cofounder of the series of international ASM workshops .
He is co-founder of the international conference series CSL .