Software Engineering Education: Rôles of Formal Specification and Design Calculi - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Dines Bjørner, Jorge Cuéllar. Software Engineering Education: Rôles of Formal Specification and Design Calculi. Ann. Software Eng., 6:365-409, 1998.

@article{BjornerC98,
  title = {Software Engineering Education: Rôles of Formal Specification and Design Calculi},
  author = {Dines Bjørner and Jorge Cuéllar},
  year = {1998},
  tags = {software engineering, design},
  researchr = {https://researchr.org/publication/BjornerC98},
  cites = {0},
  citedby = {0},
  journal = {Ann. Software Eng.},
  volume = {6},
  pages = {365-409},
}

runs on WebDSL