Home

Cees-bart__Breunesse


Specifying and verifying a decimal representation in Java for smart cards

Verifying JML specifications with model fields