by PeterSestoft (Editor)
This year it comprised ?ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 18 satellite workshops (AC- CAT, AVIS, CMCS, COCV, DCC, EAAI, FESCA, FRCSS, GT-VMT, LDTA, MBT, QAPL, SC, SLAP, SPIN, TERMGRAPH, WITS and WRLA), two tutorials, and seven invited lectures (not including those that were speci?c to the satellite events).
Format: Paperback
Pages: 355
Edition: illustrated edition
Publisher: Springer
Published: 16 Mar 2006
ISBN 10: 354033095X
ISBN 13: 9783540330950