How to create two dimensional array in Promela?

2021-02-14 07:52发布