Formal verification of scalable nonzero indicators

• Main Authors: Zhang, S.J., Liu, Y., Sun, J., Dong, J.S., Chen, W., Liu, Y.A.
• Other Authors: COMPUTER SCIENCE
• Format: Conference or Workshop Item
• Published: 2013
• Online Access: http://scholarbank.nus.edu.sg/handle/10635/40029
• Institution: National University of Singapore

Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009