Jan Bredereke

1 published title

Formal description techniques, IX : theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Ka

(Contributor)

1 edition