in_proceedings
Detail
Publication date: 1 de June, 2021Formal Specification and Development in Z and B (ZB 2003)
| Publisher | Springer Berlin Heidelberg |
|---|---|
| Series | LNCS |
| Volume | 2651 |
| Pub. Date | 01/08/2003 |
| Publisher | Springer Berlin Heidelberg |
|---|---|
| Series | LNCS |
| Volume | 2651 |
| Pub. Date | 01/08/2003 |