论文信息 - Proceedings of the 1st international conference on Abstract State Machines, B and Z - 字舞流文

Proceedings of the 1st international conference on Abstract State Machines, B and Z

Egon Börger | Jonathan P. Bowen | Michael Butler | Paul Boca | E. Börger | P. Boca | M. Butler