Evolutional tableau method for temporal logic specifications
Tomoishi, M., Yonezaki, N.
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Published in Proceedings International Symposium on Principles of Software Evolution (2000)
Get full text
Conference Proceeding