Filter
Sökt på: Sökresultat
Filter
1 träff
Theory and Formal Methods 1993
E-bok,
2012,
Engelska,
ISBN 9781447135036
This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from …