Online Library TheLib.net » Тема, жанр, tags: Integrated circuits,Verification.,Computer software,Verification.,LOTOS (Computer program language),