asm 2005: Abstract State Machines 2005

in ,

Call for Papers