#txiotesia
#txiotesia lehiaketako txiolariei egindako elkarrizketak eskuragarri!
informatika etiketa duten txiotesiak
Model Checking bidezko sistema fidagarrien berifikazio automatikoa
Egilea: Alex Abuin Yepes @lexlesaka
