Anton Wijs

最適化されたソフトウェアをスケジューリング言語と演繹証明を通じて検証するためのツールについての考察。