Blockchain-Oriented Software Engineering: Challenges and New Directions
Cleanroom Software Engineering