b-method

1熱

1答えて

洗練

私はBの仕様で次のようしている考えてみましょう： - flower <: FLOWER age <: AGE owner <: OWNER Type <: flower * age Buyer : owner <-> flower は、それが可能に続くように私は、洗練を作成するためです： - flower <: FLOWER age <: AGE owner <: OWNER T

formal-verification formal-methods refinement-type b-method 2017-07-19

---