Formally Verified Lock-Free Software Transactional Memory for Scientific Measurement | Digital Library | PAMCET

Formally Verified Lock-Free Software Transactional Memory for Scientific Measurement | Digital Library | PAMCET | PAMCET