Formal Specification

Related Fields

Parent Topic:

Theoretical computer science , Systems engineering , Computer Science , Programming language , Software Engineering , Formal methods

Top Authors:

Paper Recommendation