scientific article; zbMATH DE number 1927410

zbMath1013.68735MaRDI QIDQ4484327

Ricky Wayne Butler

Publication date: 12 June 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2410/24100001.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

ParILUT---A New Parallel Threshold ILU Factorization ⋮ Effect of spatially distributed wall concentration on the wall-flux of a passive scalar field in a laminar to turbulent transition boundary layer

This page was built for publication: