@misc{indiciae99125da0d7d3,
  title = {Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae},
  author = {Rosu, Grigore and Havelund, Klaus},
  year = {2001},
  url = {https://ntrs.nasa.gov/citations/20010106096},
  note = {Source identifier: 20010106096}
}