Verification Techniques for Extensions of Equality Logic

@inproceedings{Badban2006VerificationTF,
  title={Verification Techniques for Extensions of Equality Logic},
  author={Bahareh Badban},
  booktitle={SIGMETRICS 2006},
  year={2006}
}
Acknowledgments I studied four years at CWI. These years included breakthroughs and breakdowns in the research I was doing. I present in this book a collection of most of the breakthroughs and a few breakdowns as well. Many people have been involved in my success, some in the academic environment and some in my personal life in Amsterdam. I am grateful to all those who were part of my life. Meeting them helped me to make a life that I liked. Here I would like to thank my academic partners: my… CONTINUE READING

References

Publications referenced by this paper.