正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編

正式仕様-正式使用の限界と妥協点/SMT/Isabelle/HOL /LiquidHaskell/実用性と理論の適切なバランス-Cardanoホワイトペーパー[科学と工学]編