DaftarIsitemplate

Call Number

SEM-357

Title

On verification of database temporal contraints (169-179)

Author

C. H. Kung;

Publisher

Proceedings of acm sigmod 1985 international conference on management of data may 28-31,1985 lamansion hotel austin,texas

Subject

software engineering, databases, semantic integrity, temporal dimension,formal verification of spesifications.

Location