An application study with B method and component technology in software development
LU Zhong-ning
CHENG Li-hui
ZHANG Zhi-feng
Machine-generated Keywords：
Publication Date：2008-01-01
Online Publishing Date：2025-08-15(First online date of this platform, not the publication date of the document)
Pages：3( 62-64 )