Formal methods.- Verification.- Network systems.- Type theory.- Theorem proving.- Logic and semantics.- Refinement and transition systems.- Emerging applications of formal methods.- Doctoral symposium. pročitati sve