Practically Applicable Formal Methods.

Jedrzej Fulara, Krzysztof Jakubczyk

Browse the full SOFSEM paper archive.