@misc{indiciae6748dcd36261,
  title = {Modeling and Implementation Of Variable Structural Dynamics for Software Verification.},
  author = {Bigelow, Matthew},
  year = {2017},
  url = {https://www.osti.gov/biblio/1485041},
  note = {Source identifier: 1485041}
}