asm 2012: Abstract State Machines 2012

in ,

Call for Papers