Special issue: formal techniques for Java programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Susan Eisenbach, Gary T. Leavens. Special issue: formal techniques for Java programs. Concurrency - Practice and Experience, 13(13):1121-1123, 2001.

@article{EisenbachL01,
  title = {Special issue: formal techniques for Java programs},
  author = {Susan Eisenbach and Gary T. Leavens},
  year = {2001},
  tags = {Java},
  researchr = {https://researchr.org/publication/EisenbachL01},
  cites = {0},
  citedby = {0},
  journal = {Concurrency - Practice and Experience},
  volume = {13},
  number = {13},
  pages = {1121-1123},
}

runs on WebDSL