Yang, Wuu <br/><br/>
Discovering anomalies in access modifiers in Java with a formal specification 

<br/><br/><label>Subjects--Topical Terms: </label><br/>SYSTEMS DEVELOPMENT<br/>PROBLEMS<br/>COMPUTER PROGRAMMING<br/>JAVA
<br/><br/><label>Universal Decimal Class. No.: </label>H004.415 JOU