5 lines
58 B
Plaintext
5 lines
58 B
Plaintext
|
<root>
|
||
|
|
<spec>v4_spec.mcrl2</spec>
|
||
|
|
<properties/>
|
||
|
|
</root>
|