Formal Techniques in Software Engineering: Correct Software and Safe Systems

Liggesmeyer, P.

Reference:

P. Liggesmeyer, "Formal Techniques in Software Engineering: Correct Software and Safe Systems", in 20th International Conference, Theorem Proving in Higher Order Logics - TPHOLs 2007, pp. 3-4.

Bibtex Entry:

@INPROCEEDINGS{Liggesmeyer2007,
  author = {Liggesmeyer, P.},
  title = {Formal Techniques in Software Engineering: Correct Software and Safe
	Systems},
  booktitle = {20th International Conference, Theorem Proving in Higher Order Logics
	- TPHOLs 2007},
  year = {2007},
  pages = {3-4}
}