Petra
Apri lo standard per la verifica del software formale scalabile
In Evidenza
86 Voti
Descrizione
Petra è il primo standard aperto al mondo per la verifica del software formale scalabile (orientata agli oggetti) e gli strumenti per sviluppatori professionali per lo standard.