Login / Signup

Using Scrum to Develop a Formal Model - An Experience Report.

Marta OlszewskaSergey OstroumovMarina Waldén
Published in: PROFES (2016)
Keyphrases
  • formal model
  • predicate calculus
  • development process
  • formal models
  • security properties