Separation Logic in Coq - Patch Manager Administration: Field values for 'Assigned to'
Existing Values
| Value label | Description |
|---|---|
| alalme | nicolas marti |
| reynald | Reynald Affeldt |
Powered by Savane 3.16-2753.
Corresponding source code
