Abstract State Machines at the Cusp of the Millenium [chapter]

Egon Börger
2000 Lecture Notes in Computer Science  
The ASM'2000 Workshop marks for the ASM method the transition from its adolescence to the maturation period. The goals which have been achieved open new frontiers and put us into the position to embark on new challenges.
doi:10.1007/3-540-44518-8_1 fatcat:b3jdjljcdbesflv4yvyqz6ukjy