Niezawodne programowanie

Podręcznik użytkownika

24/06/13 17:55

GNATprove jest częścią SPARK 2014. Polecam następujący podręcznik użytkownika: