Alberto Bombardelli

複雑なソフトウェアシステムの検証におけるハイパープロパティの役割を探る。