Formal Verification of Software

Code:

CC447

Acronym:

CC447

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2008/2009 - 2S

Active?	Yes
Course/CS Responsible:	Master's Degree in Network and Information Systems Engineering

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
M:CC	6	PE do Mestrado em Ciência de Computadores	1	-	7,5	67	202,5
MI:ERS	7	Plano de Estudos a partir de 2007	4	-	7,5	67	202,5